1. A practical guide to data structures and algorithms using Java /
Author: Sally Goldman, Kenneth Goldman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science),Java (Computer program language),Data structures (Computer science),Java (Computer program language)
Classification :
QA76
.
73
.
J38
2. A systematic catalogue of reusable abstract data types /
Author: Jürgen Uhl, Hans Albrecht Schmid
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstract data types (Computer science),Computer software-- Reusability
Classification :
QA76
.
9
.
A23
U37
1990
3. A systematic catalogue of reusable abstract data types
Author: Uhl, J. )Jurgen(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Abstract data types )Computer science(,Reusability ، Computer software
Classification :
QA
76
.
9
.
A23
.
U37
1990
4. A systematic catalogue of reusable abstract data types
Author: Uhl, Jurgen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Abstract data types )Computer science(,، Computer software -- Reusability
Classification :
QA
76
.
L28
Vol
.
460
5. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
6. Abstract compositional analysis of iterated relations
Author: / Fr?�d?�ric Geurts
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Abstract data types (Computer science),System analysis.,Electronic data processing--Structured techniques
Classification :
QA
,
76
.
9
,.
A23
,
G48
,
1998
7. Abstract compositional analysis of iterated relations :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Abstract data types (Computer science) ; System analysis. ; Electronic data processing ; Structured techniques. ;
8. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Author: Geurts, Frederic
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Abstract data types )Computer science(,، System analysis,، Electronic data processing -- Structured techniques
Classification :
QA
76
.
L28
Vol
.
1426
9. Abstract data types and Modula-2 : a worked example of design using data abstraction
Author: Mitchell, Richard
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Modula 2 )Computer program language(,، Abstract data types )Computer science(
Classification :
QA
76
.
73
.
M63
M58
1992
10. Abstract data types and algorithms
Author: Azmoodeh, Manoochehr
Library: Central Library and Documentation Center (Kerman)
Subject: ، Abstract data types )Computer science(,، Algorithms
Classification :
QA
76
.
9
.
A23
A9
1990
11. Abstract data types and algorithms
Author: / Manoochehr Azmoodeh,Azmoodeh
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Abstract data types(Computer science),Algorithms
Classification :
QA
76
.
9
.
A28A8
1990
12. Abstract data types in Java
Author: / Michael S. Jenkins
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Java (Computer program language),Abstract data types (Computer science)
Classification :
QA76
.
73
.
J38
,
J45
1998
13. Abstract data types: specifications, implementations, and applications
Author: Dale, Nell B.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Abstract data types )Computer science(,، Data structures )Computer science(
Classification :
QA
76
.
9
.
A23
.
D35
1996
14. Abstract data types: Their specification, representation, and use
Author: Pete Thomas, Hugh Robinson, and Judy Emms
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Abstract data types (Computer science)
Classification :
QA
،
76
.
9
،.
A23
,
T46
،
1988
15. Ada 95 :
Author: John English.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Object-oriented programming (Computer science),Ada (Computer program language),Ada (langage de programmation),ADA 95.,Object-oriented programming (Computer science),Objektorientierte Programmierung.,Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
E54
1997
16. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
17. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
18. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
19. Advanced technologies, systems, and applications /
Author: Mirsad Hadžikadić, Samir Avdaković, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Systems engineering, Congresses.
Classification :
TA168
20. Advances in Data Base Theory :
Author: edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science)
Classification :
QA76
.
9
.
D35
E358
1981
